Fregean logics
نویسندگان
چکیده
منابع مشابه
Fregean logics
According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense. A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A ded...
متن کاملSuszko and the non-Fregean-Logics
"I. Roman Suszko (9.11.1919, Podobora – 3.06.1979, Warsaw) was one of the most fascinating personalities in Polish academic community after the Second World War and one of the most outstanding logicians of the time. He was above all a scientist but he also participated in academic life. He was Dean of the Faculty of Philosophy at Warsaw University for two terms of office. He studied abstract pr...
متن کاملNumber of Extensions of Non-Fregean Logics
We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality r...
متن کاملNon - Fregean Logics of Analytic Equivalence ( Ii )
This paper presents the main assumptions of Andrzej Grzegorczyk’s last research project concerning the logic of synonymity. It shows that the basis of logic of analytic equivalence, presented in the first part of the work, fully corresponds with these assumptions.
متن کاملFregean logics with the multiterm deduction theorem and their algebraization
A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas { 〈α, β〉 : T, α `S β and T, β `S α }, is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deduction theorem of the classical and intuitionistic proposi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2003.11.008